Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
451	A talk given at Florence University on June 28, 2004. ON VARIOUS COMBINATORIAL SUMS AND RELATED IDENTITIES Zhi-Wei Sun Department of Mathematics Add to Reading List Source URL: math.nju.edu.cn Language: English - Date: 2007-02-14 02:04:27 Integer sequences Combinatorics Polynomials Binomial coefficient Bernoulli polynomials Factorial Combinatory logic Oscillator semigroup Bessel function Mathematics Mathematical analysis Number theory
452	Logical Methods in Computer Science Vol. 5 (3:[removed], pp. 1–52 www.lmcs-online.org Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-22 08:41:55 Mathematical logic Computability theory Simply typed lambda calculus Combinatory logic Unification Free variables and bound variables Variable Mathematics Theoretical computer science Lambda calculus
453	JOURNAL OF COMPUTATIONAL BIOLOGY Volume 7, Numbers 1/2, 2000 Mary Ann Liebert, Inc. Pp. 71–94 Ef cient Detection of Unusual Words Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2001-09-03 17:20:36 Combinatory logic Knuth–Morris–Pratt algorithm Theoretical computer science Applied mathematics Mathematics Algebra of random variables Covariance Covariance and correlation
454	WRLA[removed]A Rewriting Semantics for Maude Strategies Narciso Mart´ı-Olieta, Jos´e Meseguerb , and Alberto Verdejoa a b Add to Reading List Source URL: maude.sip.ucm.es Language: English - Date: 2007-12-31 03:35:21 Applied mathematics Maude system Denotational semantics Formal language Structure Combinatory logic Rewriting Operational semantics Strategy Theoretical computer science Logic in computer science Mathematics
455	STRATEGIES[removed]Deduction, Strategies, and Rewriting Steven Ekera , Narciso Mart´ı-Olietb , Jos´e Meseguerc , and Alberto Verdejob a Add to Reading List Source URL: maude.sip.ucm.es Language: English - Date: 2007-12-30 14:15:22 Mathematics Mathematical logic Lambda calculus Formal languages Maude system Logic programming Rewriting Combinatory logic Unification Theoretical computer science Logic Logic in computer science
456	Circumventing d-to-1 for Approximation Resistance of Satisfiable Predicates Strictly Containing Parity of Width at Least Four Add to Reading List Source URL: theoryofcomputing.org Language: English - Date: 2013-09-14 14:14:04 Logic in computer science Quantum mechanics Approximation algorithm Combinatory logic Reduction Parity Theoretical computer science Physics Computational complexity theory
457	Katalin Marton Abbas El Gamal Stanford University Add to Reading List Source URL: isl.stanford.edu Language: English - Date: 2011-08-08 17:09:36 Mathematics Coding theory Communication Cybernetics Information Age Noisy-channel coding theorem Institute of Electrical and Electronics Engineers Combinatory logic Error exponent Information theory Information Theoretical computer science
458	490 BOOK REVIEWS Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 12:28:57 Integer sequences Enumerative combinatorics John Riordan Binomial coefficient Combinatory logic Enumeration Mathematics Combinatorics Discrete mathematics
459	Add to Reading List Source URL: www.an.econ.kobe-u.ac.jp Language: English - Date: 2013-05-19 20:09:21 Mathematics Mathematical analysis Combinatory logic Spectral theory Exponential distribution Exponentials Lambda calculus
460	Combining Proofs and Programs in a Dependently Typed Language Chris Casinghino Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2013-11-15 17:01:40 Logic in computer science Lambda calculus Proof theory Deduction Models of computation Curry–Howard correspondence Entailment Combinatory logic Fixed-point combinator Theoretical computer science Logic Mathematical logic

UPDATE